基于GSPN方法的柔性制造系统过程模型和性能分析

应用广义随机Petri网方法,对柔性制造系统进行建模和分析,提出了控制策略和优化方法.针对柔性制造系统的离散性,对整个系统的过程模型进行分析.利用广义随机Petri网结合马尔可夫链的方法,确立了系统的配置参数,得出了系统的平均运行时间,机床的平均使用率,系统的生产率,故障概率,对系统的优化和生产效率的提高以及柔性的提高提供了理论支持.最后,通过柔性制造系统实例,对该方法进行了检验.     

不连续二阶周期边值问题的可解性

考察了一类非线性项含有一阶导数的二阶周期边值问题的解的存在性,其中非线性项是Carathèodory函数.通过构造非线性项的高度函数并且利用Leray-Schauder不动点定理建立了两个存在定理.第一个定理表明只要高度函数的积分是适当的,这类问题至少有一个解.第二个定理表明当非线性项在无穷远处增长的极限是一个无界函数时在适当条件下这问题仍可能有一个解.     

商空间的基

通过引入一个熟知的线性空间作桥梁，揭示了商空闻R^n／S基与矩阵A之间的关系。     

苯在Ru-Zn/Ru（0001）合金表面上的吸附——密度泛函研究

为了理解苯在Ru-Zn合金催化剂上的部分加氢催化机理,采用密度泛函方法对苯在Ru-Zn/Ru（0001）面上的吸附进行理论研究。计算结果表明,当苯的碳原子或者共轭双键直接位于表面Zn原子的atop位时,其吸附热较Ru（0001）面上的类似吸附状态下降约60%.Zn原子与苯环C原子之间的排斥作用导致苯环的成键轨道与表面Ru原子的价层轨道之间的空间对称性下降,从而不利于苯与合金表面的键合。当吸附位离开Zn原子时,邻近Zn原子对于苯的吸附基本没有影响。     

边界拟合坐标系中的流动方程

本文提出了流体力学解析边界拟合坐标系方法，及建立在这种坐标系基础上对流动方程进行摄动处理的方法，并列举几种流动建立了解析边界拟合坐标系中的方程。     

处理优化约束条件的微分方程法

在文[1]中,作者曾提出求解一般约束优化问题的一种新方法。本文利用微分方程对约束条件做进一步的讨论,证明了从一可行点的某邻域出发的该微分方程组的解关于部分变元总收敛到问题(1.1)的可行点。     

一类对称的Kolmogorov系统的定性研究（Ⅰ）

本文对一类对称的三次微分系统进行探讨，对每个奇点导出表示其鞍结性的型号公式。给出（Ｋ３）所有的六种全局相图。     

第二类非线性Fredholm型积分方程数值解的超收敛性

本文讨论第二类非线性Ｆｒｅｄｈｏｌｍ型积分方程数值解的超收敛性，以Ｇａｌｅｒｋｉｎ方法为基础建立了该类方程的Ｇａｌｅｒｋｉｎ算法、小波Ｇａｌｅｒｋｉｎ算法以及它们相应的迭代校正格式，证明了两种算法数值解的超收敛性，不仅将Ｈａｍｍｅｒｓｔｅｉｎ积分方程的结果推广到第二类非线性Ｆｒｅｄｈｏｌｍ型积分方程，而且应用小波分析工具得到了更精确的结果．     

考虑摩擦时机构力分析的简化线性方程解法

考虑摩擦时机构力分析是一个求解非线性方程组的问题。目前常用的三种解法都属于迭代法,求解速度慢,而且对高级机构求解困难。本文建立了一种无须迭代的简化线性方程解法。这种方法比通常的迭代法收敛速度提高3—10倍。算例结果表明,采用本文解法所得结果具有相当高的精度,最大相对误差只有0.84％。